1939 = 7 * 277 ;
then 7 divides 1939 ;
hence not 1939 is prime ; :: thesis: verum