theorem :: XPRIMES0:767

not 767 is prime