493 = 17 * 29 ;
then 17 divides 493 ;
hence not 493 is prime ; :: thesis: verum