Exercise 8-9: Prop.||