theorem :: XPRIMES2:5702

canceled;