>>205
定義と結合則から自明