[eigenvalue]

I think you meant the Johnson–Lindenstrauss lemma.

[antognini]

Oops, good catch. I can never remember the name of that lemma.