theorem :: XPRIMES0:900

not 900 is prime