s-cobordism theorem and applications II