シェルピンスキー-マズルキーウィチの定理
Definition. 等長変換群
Definition. 逆理的な部分集合
Theorem. 平面
$ \mathbb{R}^2
上の等長変換群
$ G_2
は，逆理的な部分集合をもつ，つまり，
$ G_2
の部分集合
$ S
の分割であって，ある操作aで
$ S
に一致する
$ S_0
と操作bで
$ S
に一致する
$ S_1
が同時に存在する．