theorem :: XPRIMES2:716

canceled;