h-cobordism theorem -- end of proof --- Cancelled ----