theorem :: XPRIMES2:6155

canceled;