theorem :: XPRIMES0:766

not 766 is prime