theorem :: XPRIMES2:1716

canceled;