SICP/chapter_2: exercise 80