danielson-lanczos lemma