3 |^ 8 = 3 |^ (4 + 4)
.= (3 |^ 4) * (3 |^ 4) by NEWTON:8 ;
hence 3 |^ 8 = 6561 by Lm18; :: thesis: verum