Exercise 43

Prove Formula 1 of Theorem 3.