theorem :: XPRIMES0:972

not 972 is prime