A = Point(xAxis)
B = Point(yAxis)
a = OrthogonalLine(A, xAxis)
b = OrthogonalLine(B, a)
Κ = Intersect(a, b)
c = Circle(Κ, 2.0)
Ο = Intersect(xAxis, yAxis)
d = Line(Ο, a)
e = OrthogonalLine(Ο, a)
Μ = Point(c)
f = Line(Ο, Κ)
g = Segment(Ο, Μ)
h = Segment(Μ, Κ)
i = Segment(Κ, Ο)
Λ, Ν = Intersect(c, f)
j = Segment(Κ, Ν)
k = Segment(Κ, Λ)