theorem :: XPRIMES2:6198

canceled;