theorem :: XPRIMES0:1760

not 1760 is prime