theorem :: XPRIMES0:1845

not 1845 is prime