現代数学の系譜11 ガロア理論を読む29 [無断転載禁止]©2ch.net

一応、c＝1 で C＝log(c)＝0 とすると、n＝2 のときは Case1 と同様に考えれば同じ矛盾が生じる。
そして、n≧3 のときは、 Case2のCase2-1 と同様に考えれば c＝(a_i)^{(m_i)/(l_i)}＞0 が
(a_i)^{(m_i)/(l_i)}＝1 になって (a_i)^{m_i}＝1 が得られて矛盾が生じる。
だから、c≠1 つまり C＝log(c)≠0。