Theorem 2.2: (The parametric form of the Ruler Axiom) Let t be a real number. Let A and B be two points. Let
and
Let
using vector addition and scalar multiplication of points. Then
Proof: Let's first compute using the distance formula
Similarly,
top
next theorem (2.3)