3 |^ 4 = 3 |^ (2 + 2)
.= (3 |^ 2) * (3 |^ 2) by NEWTON:8 ;
hence 3 |^ 4 = 81 by Lm17; :: thesis: verum