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