theorem :: XPRIMES1:2978

canceled;