theorem :: XPRIMES0:1948

not 1948 is prime