一次分数変換全体は推移的であるとは思うんだが、どう示せばよいものか･･･。
誰かわかりませぬか？