2 |^ 8 = 2 |^ (4 + 4)
.= 16 * 16 by Lm4, NEWTON:8 ;
hence 2 |^ 8 = 256 ; :: thesis: verum