A = Point(xAxis)
B = Point(yAxis)
f = Segment(B, A)
C = Intersect(xAxis, yAxis)
g = Segment(C, A)
h = Segment(C, B)
p: y = x
D = Intersect(p, f)
i = OrthogonalLine(D, h)
j = OrthogonalLine(D, g)
E = Intersect(i, h)
F = Intersect(j, g)
k = Segment(E, D)
l = Segment(D, F)
m = Segment(F, C)
n = Segment(C, E)