theorem :: XPRIMES2:226

canceled;