C = Point(Ray[(0, 0), Vector[(1, 0)]])
B = Mirror(C, yAxis)
polígono1, f, g, h, i, E, D = Polygon(C, B, 4)
A = PointIn(y > 0)
P = PointIn(polígono1)
j = OrthogonalLine(A, yAxis)
O_1 = Point(Ray[A, Vector[(-1, 0)]])
k = Segment(E, C)
l = OrthogonalLine(P, yAxis)
Q = Intersect(l, k)
m = OrthogonalLine(P, xAxis)
n = OrthogonalLine(Q, xAxis)
G = Intersect(xAxis, n)
F = Intersect(xAxis, m)
p = Segment(F, A)
q = Segment(G, A)
r = Segment(O_1, C)
Q' = Intersect(r, q)
s = Line(Q', xAxis)
P' = Intersect(s, p)
t = Segment(O_1, A)
a = Segment(P, Q)
b = Segment(P', Q')
c = Segment(F, P)
d = Segment(Q, G)