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