If `f ≡ g` through degree `n - 1`, then the degree-`n` discrepancy of `exp f` and `exp g` equals that of `f` and `g`.

Initializing...

If `f ≡ g` through degree `n - 1`, then the degree-`n` discrepancy of `exp f` and `exp g` equals that of `f` and `g`. · Prove2Me