Minor proof wording change.