theorem :: XPRIMES0:760

not 760 is prime