theorem :: XPRIMES2:6802

canceled;