510 = 2 * 255 ;
then 2 divides 510 ;
hence not 510 is prime ; :: thesis: verum