753 = 3 * 251 ;
then 3 divides 753 ;
hence not 753 is prime ; :: thesis: verum