3 |^ 3 = 3 |^ (2 + 1)
.= (3 |^ 2) * 3 by NEWTON:11
.= (3 ^2 ) * 3 by Lm1
.= 27 ;
hence 3 |^ 3 = 27 ; :: thesis: verum