Fixed the statement of a theorem