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