Prefer a chat interface with context about you and your work?
A variant of a theorem by Springer
The theorem in question gives a sufficient condition for a quadratic space over a local ring $R$ to contain a hyperbolic plane over $R$.