Property: Pythagorean field

Definition: The sum of two squares is a square