- 1 = (2 * (- 1)) + 1 ;
then reconsider e = - 1 as odd Integer ;
e * n is odd ;
hence not - n is even ; :: thesis: verum