α = 0 rad (slider from 0 to 6.283185307179586, step 1*°)
β = 0 rad (slider from 0 to 6.283185307179586, step 1*°)
A = (2, 2)
B = (1.9866783537857924, -0.08758899502701074)
a = Line(A, B)
γ: α
C = (8.812337543081336, 1.0996951013479936)
E = (2.7863635171073184, -0.8166108149579198)
b = Line(E, a)
c = Line(C, a)
F = Point(b)
G = Point(c)
F' = Rotate(F, (-β), E)
δ = Angle(F', E, F)
d = Ray(E, F')
D = (2.7709715017153034, -1.5323395306866343)
G' = Rotate(G, (-α), C)
ε = Angle(G', C, G)
H = (5.395310126053924, 0.06073406238695625)
e = Ray(C, G')