theorem :: XPRIMES1:948

canceled;