theorem :: XPRIMES0:1974

not 1974 is prime