If `u ≡ v` through degree `n - 1`, then the degree-`n` discrepancy of `log u` and `log v` equals that of `u` and `v`.

Initializing...

If `u ≡ v` through degree `n - 1`, then the degree-`n` discrepancy of `log u` and `log v` equals that of `u` and `v`. · Prove2Me