haskell - Haskell セマンティクスで推移性を証明する

Question

私はHaskellのセマンティクスを学んでおり、そこでこの質問に出くわしました:

私はそれを試しましたが、まだ答えを結論付けることができません。誰かがこれを証明する方法を私に説明してくれれば、それは素晴らしいことです. ありがとうございました。