A = Intersect(xAxis, yAxis)
B = Point(xAxis)
a = Line(A, B)
C = (8, 4)
b = Line(A, C)
D = (10, 4)
P = (6, 0)
c = Line(D, P)
F_1 = Intersect(c, a)
α = Angle(B, A, C)
β = Angle(B, F_1, D)
b' = OrthogonalLine(A, c)
F = Intersect(c, b')
F_2 = Rotate(F, -α, A)
γ = Angle(F_2, A, F)
a' = Line(A, F_2)
b'' = Line(F, a')
c' = OrthogonalLine(F, b'')
H = Point(c')
δ = Angle(H, F, D)
G = Intersect(a', c')
ε = Angle(D, F, A)
ζ = Angle(F, G, A)
h = Line(A, c)
P' = Mirror(P, h)
u = Vector(P', P)
v = Vector(A, F)
i = Line(A, c')
F' = Mirror(F, i)
w = Vector(F', F)
z = Vector(A, F')
I = Translate(F, z)
j = Vector(F, I)
k = Vector(A, I)
d = Vector(F', P')
F'' = Translate(F, d)
e = Vector(P', F'')
f = Line(P, c')
g = OrthogonalLine(P, f)
m = OrthogonalLine(P', g)
E = Intersect(g, m)
n = Vector(P', E)
l = Vector(A, G)