まず、有限体formula_1の単位元の平方根についての補題を考える。