theorem :: XPRIMES2:198

canceled;