theorem :: XPRIMES0:1972

not 1972 is prime