A: (0, 0)
B: (6, 0)
C: (6, 4)
D: (0, 4)
f = Segment(A, B)
g = Segment(D, A)
h = Segment(D, C)
i = Segment(C, B)
j = Segment(B, D)
k = OrthogonalLine(A, j)
l = OrthogonalLine(C, j)
A' = Intersect(k, j)
C' = Intersect(l, j)
m = Segment(A, A')
n = Segment(C', C)
p = Segment(D, C')
A'C' = Segment(A', C')