theorem :: XPRIMES0:1821

not 1821 is prime