theorem :: XPRIMES0:770

not 770 is prime