theorem :: XPRIMES0:1959

not 1959 is prime