theorem :: XPRIMES0:763

not 763 is prime