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