1270 = 2 * 635 ;
then 2 divides 1270 ;
hence not 1270 is prime ; :: thesis: verum