h-cobordism theorem