theorem :: XPRIMES2:1226

canceled;