theorem :: XPRIMES0:975

not 975 is prime