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