501 = 3 * 167 ;
then 3 divides 501 ;
hence not 501 is prime ; :: thesis: verum