theorem :: XPRIMES0:1957

not 1957 is prime