回転同値関係の定義ととそれが同値関係であることの証明