回転同値類の定義と同値類上で両面回転操作の等価性の証明