An algebraic $\pi\,\operatorname{Im} u$ forces an algebraic multiple of $1/(i\pi)$ into $\mathcal{L}$

Initializing...

An algebraic $\pi\,\operatorname{Im} u$ forces an algebraic multiple of $1/(i\pi)$ into $\mathcal{L}$ · Prove2Me