>「アレをするためにこう変換する」

群論そのもの