Removed a definition and a theorem