theorem :: XPRIMES1:1155

canceled;