A = (-3, 1)
B = Point(Circle[A, 12])
a = Segment(A, B)
C = Point(Circle[A, 5])
b = Segment(A, C)
c = Segment(C, B)
α = Angle(B, A, C)