Logarithms algebraic over ℚ(π) with rational squared modulus are rationally proportional, up to conjugation

Initializing...

Logarithms algebraic over ℚ(π) with rational squared modulus are rationally proportional, up to conjugation · Prove2Me