3 = (2 * 1) + 1 ;
hence not 3 is even ; :: thesis: verum