Danielson-Lanczos lemma