theorem :: XPRIMES2:5716

canceled;