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