theorem :: XPRIMES0:1852

not 1852 is prime