モノイドの指数法則
モノイドにおいて
xのn個の積を$ x^nとかくと
$ x^nx^m = x^{n+m}
が成り立つ
クソ当たり前っぽいけど証明をしたいなら、数学的帰納法がいいと思う