1378 = 2 * 689 ;
then 2 divides 1378 ;
hence not 1378 is prime ; :: thesis: verum