theorem :: XPRIMES0:772

not 772 is prime