theorem :: XPRIMES2:861

canceled;