theorem :: XPRIMES2:2203

canceled;