>>27
よく見たら(2)は恒等式だな
そのまま最後の式に継続の関係を使えば
反射律になってるよ