1394 = 2 * 697 ;
then 2 divides 1394 ;
hence not 1394 is prime ; :: thesis: verum