Definition Vv : Point.

(* Specifications: *)
Lemma DistOoVv : Distance Oo Vv = Distance Oo Uu.
Lemma DistinctOoVv : Oo <> Vv.
Lemma ClockwiseUuOoVv : Clockwise Uu Oo Vv.
Lemma AngleUuOoVv : Angle Uu Oo Vv = Angle Ww Oo Vv.
Lemma DistVvUu : Distance Vv Uu = Distance Vv Ww.