Exercise Solution 3.15

In the following derivation, we apply [3.27] to obtain line [s3] from [s2].

[s1]

[s2]

[s3]

[s4]

[s5]

[s6]