A = (5, -1)
B = (11, -1)
a = Segment(A, B)
C_1 = (1, 5)
D = (17, 5)
b = Segment(C_1, D)
C = Point(b)
F = Point(a)
c = Segment(C, F)
G = Point(a)
d = Segment(C, G)
H = Point(a)
e = Segment(C, H)
α = Angle(H, A, C)
β = Angle(C, G, H)
f = Distance(d, c)
E = Point(b)
I = (2, 5)
J = (17, 5)
K = (1, 5)
g = Segment(J, K)