theorem :: XPRIMES0:795

not 795 is prime