theorem :: XPRIMES0:1814

not 1814 is prime