theorem :: XPRIMES0:1761

not 1761 is prime