Redirecting to Johnson–Lindenstrauss lemma