theorem :: XPRIMES2:6861

canceled;