theorem :: XPRIMES2:7716

canceled;