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