theorem :: XPRIMES0:1851

not 1851 is prime