（上の動画の証明がそれを踏襲したものなのかはわからないけど。）
これはもちろんガロワがgroupeとか言い出すより30年程前よね。
群論が理解されて世間に広まったのはガロワが死んでだいぶ経ってからだったらしいから、ふつうに考えてガウスはそんなもの知らないで死んだ可能性が高いんじゃないかしら？
デーデキントKörperて言い出したのが1871年なわけだしね。
というわけで、★の証明自体は群だとかの概念を表に出さなくてもできるってことね。
アタシこういう歴史にもけっこう興味あるの。数学史ってワケわかんない超サイヤ人みたいなのがいっぱい出てきて面白いわ。