theorem :: XPRIMES0:973

not 973 is prime