theorem :: XPRIMES2:729

canceled;