レヴィ＝チヴィタ体の各元は有理数全てを亙る変数に対する実係数の形式級数formula_1