I think Paul has this, at any rate, and it's a useful thing to have.You can find a proof of the most basic version of the theorem on page176 of the fourth edition, Theorem 200.