Ex 2.35 [Sicp p126]