theorem :: XPRIMES0:762

not 762 is prime