>>66
それのどこが何に対して遠回しなのかを説明してくれ
そうすれば、君が >>68 の何に対して遠回しと感じているのか分かるかも知れん

father(son(x)) = x

これは、左辺にある x に対する2個の（この順の）変換が右辺と同等である
という事を示していると思う

このような意味を表すのに father(son(x)) = x を持ち出すのが遠回しと感じるのなら、
君ならどう式で表現するのだろうか？