Johnson–Lindenstrauss_lemma