504 = 2 * 252 ;
then 2 divides 504 ;
hence not 504 is prime ; :: thesis: verum