O = Intersect(xAxis, yAxis)
R = Point(xAxis)
c = Circle(O, R)
OR = Segment(O, R)
d = Circle(O, R)
O' = Point(OR)
u = Vector(O, O')
O'_{1} = Translate(O, u)
R' = Translate(R, u)
f' = Segment(O'_{1}, R')
A_{1} = Point(f')
OB = Segment(O, A_{1})
r = If(Distance[O, A_{1}] > OR, R, A_{1})
e = Circle(O', r)
f = Circle(O', r)
M = Rotate(r, (-(90°)), O')
g = Line(M, OR)
A, B = Intersect(d, g)
h = Segment(A, B)
i = Segment(O', M)
j = Segment(O, A)
v = Vector(O', M)
H = Translate(O, v)
k = Segment(O, H)
PO': O'