It's a great theorem. I love the way, though, that he starts off by stating the conditions - a small open economy and then two paragraphs later he's applying it to the USA. Economists do this all the time.