Bổ đề Johnson–Lindenstrauss – Theo ngôn ngữ khác