>>29
Gはモノイドになるから成り立つ。