theorem :: XPRIMES0:974

not 974 is prime