theorem :: XPRIMES0:1848

not 1848 is prime