h-cobordism theorem -- end of proof