Todistettu D_{s+1,n} = DL(D_{s,n})