とする．このとき (ⅰ) (ⅱ) が成立する．但し写像 は与えられている． (証明の方針) ① ② 便宜のため と置く． ①について に対して i.e. 論理積と共通部分の関係 である．また () () であるから，と表される．したがって，はの演算に関して群を成す．すなわち…