theorem :: XPRIMES1:4927

canceled;