theorem :: XPRIMES0:1850

not 1850 is prime