Add Ex 16.1.1 of CLRS