theorem :: XPRIMES1:5978

canceled;