theorem :: XPRIMES1:5727

canceled;