507 = 3 * 169 ;
then 3 divides 507 ;
hence not 507 is prime ; :: thesis: verum