Ο = Intersect(xAxis, yAxis)
B = Point(yAxis)
c = Circle(Ο, B)
Γ = Intersect(c, xAxis, 1.0)
Α = Intersect(c, xAxis, 2.0)
Δ = Intersect(c, yAxis, 2.0)
a = Line(Γ, B)
b = Line(Δ, Α)
Φ = Midpoint(Γ, B)
Ξ = Midpoint(Δ, Α)
d = Line(Φ, Ο)
e = Line(Α, yAxis)
f = Line(Γ, yAxis)
g = Segment(Γ, B)
h = Segment(Δ, Α)
H = Intersect(f, d)
I = Intersect(e, d)
J = Point(d)
K = Point(f)
L = Point(d)
M = Point(e)
β1 = Angle(M, I, L)
β2 = Angle(L, I, Α)
β3 = Angle(Α, I, Ξ)
β4 = Angle(Ξ, I, M)
α6 = Angle(Α, Ο, B)
α1 = Angle(B, Ο, Φ)
α2 = Angle(Φ, Ο, Γ)
α3 = Angle(Γ, Ο, Δ)
α4 = Angle(Δ, Ο, Ξ)
α5 = Angle(Ξ, Ο, Α)
γ2 = Angle(K, H, J)
γ1 = Angle(J, H, Γ)
γ4 = Angle(Γ, H, Φ)
γ3 = Angle(Φ, H, K)
i = Segment(B, Α)
j = Segment(Γ, Δ)
A = Midpoint(B, Α)
C = Midpoint(Γ, Δ)
k = OrthogonalLine(A, i)