508 = 2 * 254 ;
then 2 divides 508 ;
hence not 508 is prime ; :: thesis: verum