502 = 2 * 251 ;
then 2 divides 502 ;
hence not 502 is prime ; :: thesis: verum