theorem :: XPRIMES0:948

not 948 is prime