( a = 0 or a > 0 ) ;
hence not a |^ n is negative ; :: thesis: verum