fix wording of theorem