theorem :: XPRIMES1:3978

canceled;