theorem :: XPRIMES2:5670

canceled;