(- 1) |^ 2 = (- 1) |^ (1 + 1)
.= ((- 1) |^ 1) * ((- 1) |^ 1) by NEWTON:8
.= ((- 1) |^ 1) * (- 1)
.= (- 1) * (- 1) ;
hence (- 1) |^ 2 = 1 ; :: thesis: verum