theorem :: XPRIMES0:504

not 504 is prime