theorem :: XPRIMES0:1955

not 1955 is prime