a |^ n >= 0 |^ n by NEWTON02:41;
hence not a |^ n is negative ; :: thesis: verum