>>279
論理的には「ab (ab^{-1})＜÷」は正しいといえる訳ではなく、あくまでそう仮定したに過ぎない。
だが、そう仮定すると、>>272の如きことは群論でも論理的にいえるようになる。