1393 = 7 * 199 ;
then 7 divides 1393 ;
hence not 1393 is prime ; :: thesis: verum