theorem :: XPRIMES0:1770

not 1770 is prime