1278 = 2 * 639 ;
then 2 divides 1278 ;
hence not 1278 is prime ; :: thesis: verum