1937 = 13 * 149 ;
then 13 divides 1937 ;
hence not 1937 is prime ; :: thesis: verum