s-cobordism theorem and applications