A = Intersect(xAxis, yAxis)
c = Circle(A, 5.0)
C = Point(c)
a = Line(C, A)
z_2 = Point(c)
z_1 = Mirror(z_2, a)
v = Vector(z_1, A)
u = Vector(z_2, A)
E, F = Intersect(c, a)
α = Angle(F, A, z_2)
z_3 = Point(c)
B'_1 = Translate(z_3, u)
b = Segment(A, B'_1)
z = Translate(z_3, v)
d = Segment(A, z)
w = Vector(z_3, z)
z_5 = Vector(z_3, B'_1)
β = Angle(z, A, B'_1)