1379 = 7 * 197 ;
then 7 divides 1379 ;
hence not 1379 is prime ; :: thesis: verum