theorem :: XPRIMES0:1795

not 1795 is prime