Group theory (a lot of boredom at night looking)

 

v20221217