theorem :: XPRIMES0:1810

not 1810 is prime