i |^ (2 + 1) = (i |^ (1 + 1)) * i by NEWTON:6
.= ((i |^ 1) * i) * i by NEWTON:6 ;
hence i |^ 3 is even ; :: thesis: verum