theorem :: XPRIMES0:1956

not 1956 is prime