theorem :: XPRIMES2:6706

canceled;