超越数論． リンデマンの定理の証明の続き． 前回は最初の補題で評価につまずき今回にずれ込んだが，今度は進んだようだ． こうして証明を見てみると \begin{equation} a_0e^{\alpha_0}+\cdots+a_ne^{\alpha_n} \end{equation} という形は，なかなかいい形な…