theorem :: XPRIMES2:7226

canceled;