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