SICP/chapter_1: exercise 1.3