# Main theorem of Pythagorean plane

The theorem states:

Any Pythagorean plane is isomorphic to the Cartesian plane $F^2$ over its field $F$ of segments.

Can anyone give me a reference for this theorem?