theorem :: XPRIMES0:1828

not 1828 is prime