theorem :: XPRIMES0:764

not 764 is prime