theorem :: XPRIMES0:1800

not 1800 is prime