kulmat α ja β ovat samankohtaisia,
myös kulmat α ja γ ovat samankohtaisia.

A = (-5, 0)
B = (-1, 4)
f = Line(B, A)
C = (2, 0)
g = Line(A, C)
D = (-3.8433544463193816, 4.002489900253158)
h = Line(B, D)
E = Point(h)
F = Point(f)
α = Angle(C, A, B)
β = Angle(E, B, F)
γ = Angle(D, B, A)