SICP/chapter_4: exercise 37~54