theorem :: XPRIMES2:155

canceled;