theorem :: XPRIMES2:5167

canceled;