Better wording of first theorem.