Short Linh Chains , proved.