theorem :: XPRIMES0:1977

not 1977 is prime