Changed the name of a theorem.