A = (-1, 1)
B = (5, 3)
b = Segment(B, A)
M = Midpoint(B, A)
c = Circle(M, A)
C = Point(c)
P, c_1, a, b_1 = Polygon(A, B, C)
α = Angle(A, C, B)