theorem :: XPRIMES0:501

not 501 is prime