theorem :: XPRIMES1:4948

canceled;