Exercise Solution 3.8

By [3.7] and the result of Exercise 3.6,

[s1]

[s2]

[s3]

[s4]

[s5]

Accordingly,

[s6]