トーラス
トーラスの基本群は ⟨x, y : xyxy⟩ である。