Renamed a theorem.