theorem :: XPRIMES2:948

canceled;