theorem :: XPRIMES0:1840

not 1840 is prime