theorem :: XPRIMES2:2230

canceled;