Wall's theorem on h-cobordisms