B = (6, -2)
A = (2, -2)
C = (2, 2)
poly1, c, a, b = Polygon(B, A, C)
Δ = LineBisector(A, C)
D = Intersect(Δ, b)
e = Line(D, A)
M = Point(Δ)
f = Line(C, M)
F = Intersect(e, f)
g = Line(M, A)
h = Line(F, B)
F_1 = Intersect(g, h)
α = Angle(B, F_1, M)
E = Mirror(D, a)