JL Lemma: for n points in ℝᵈ and ε>0, a random linear map to k = O(log(n)/ε²) dimensions preserves all pairwise distances within (1±ε). Dimensionality reduction that works!