In transcendence degree one, a real product of two non-zero logarithms has both factors real, both purely imaginary, or one a rational multiple of the other's conjugate

Initializing...

In transcendence degree one, a real product of two non-zero logarithms has both factors real, both purely imaginary, or one a rational multiple of the other's conjugate · Prove2Me