theorem :: XPRIMES1:4978

canceled;