theorem :: XPRIMES0:1865

not 1865 is prime