theorem :: XPRIMES0:1976

not 1976 is prime