theorem :: XPRIMES2:6726

canceled;