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