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