Ⅲ.3.7. Kummerの定理
F'=F(y)
,yを
{\mathcal O}
\bar{\varphi}(T)= \prod^r_{i=1}\gamma_i(T)^{\epsilon_i}
とすると
