theorem :: XPRIMES2:1155

canceled;