theorem :: XPRIMES0:1818

not 1818 is prime