theorem :: XPRIMES0:1765

not 1765 is prime