father(son(x)) = x　は遠回しに見える。それぐらいの意味だ。
後はなんちゅうことないことだ。