theorem :: XPRIMES2:2716

canceled;