Chatelet's Theorem in Synthetic Algebraic Geometry

We prove a version of Chatelet’s Theorem about Severi-Brauer variety having rational points in the setting of synthetic algebraic geometry. We work over an arbitrary base ring.