A = Point(yAxis)
B = Point(Circle[A, 14.0])
c = Segment(A, B)
C = (14, -12)
a = Segment(B, C)
b = Segment(C, A)
β = Angle(C, A, B)
B' = Mirror(B, c)
C' = Mirror(C, c)
a' = Segment(B', C')
b' = Segment(C', A)
γ = Angle(B, A, C')