theorem :: XPRIMES1:5716

canceled;