theorem :: XPRIMES2:5198

canceled;