Solèr's theorem

In our seminar, we studied Solèr's theorem to understand why any orthomodular form with an infinite orthonormal sequence must be a Hilbert space over the real numbers, complex numbers, or the quaternions.