Solèr's theorem

Etymology
The theorem was originally proved by Maria Pia Solèr.

Proper noun

 * 1)  A result concerning certain infinite-dimensional vector spaces, stating that any orthomodular form that has an infinite orthonormal sequence is a Hilbert space over the real numbers, complex numbers or quaternions.