1200 = 2 * 600 ;
then 2 divides 1200 ;
hence not 1200 is prime ; :: thesis: verum