の内包 i.e. i.e. i.e. 但し とする．も同様．このとき が成立する． (証明の方針) に対して を示す．条件とくにであるから よりについて，はの元同士の演算が働くので，に関して i.e. を成す．これより と表示してもよい．も同様． これより，に対して であ…

巡回群の部分群は巡回群である i.e. s.t. < > 但し < > < > とする．このとき巡回群< >，< >に対して < > < > である． (証明の方針) 条件，は巡回群より < > < > で表されるときから < > < > を得る．