Definition AS0 := Angle Uu Oo Uu.Definition Ww : Point.

(* Specifications: *)
Lemma DistOoWw : Distance Uu Oo = Distance Oo Ww.
Lemma DistinctOoWw : Oo <> Ww.
Lemma BetweenUuOoWw : Between Uu Oo Ww.
Lemma BetweenWwOoUu : Between Ww Oo Uu.