theorem :: XPRIMES1:3927

canceled;