theorem :: XPRIMES1:5670

canceled;