theorem :: XPRIMES2:6226

canceled;