Li-Fan Chen
says to
YSITD
由第四個我們可以看出群的封閉性與單位元素(?