742 = 2 * 371 ;
then 2 divides 742 ;
hence not 742 is prime ; :: thesis: verum