1274 = 2 * 637 ;
then 2 divides 1274 ;
hence not 1274 is prime ; :: thesis: verum