theorem :: XPRIMES0:1958

not 1958 is prime