2 * 1 = 2 ;
hence 2 is even ; :: thesis: