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