Exercise 63

Prove Property 11.