theorem :: XPRIMES0:1954

not 1954 is prime