C11_ex164_schema-corr

A: (2, 3)
B = (-1.9999999999999982, 1)
C: (6, 5)
A': (2, 4)
B': (-2, 4)
C' = (10.000000000000002, 4)
f = Line(A, B)
g = Line(A', B')
h = Line(A, B')
i = Line(A', B)
j = Line(A, C')
k = Line(A', C)
l = Line(B, C')
m = Line(B', C)
M = Intersect(h, i)
N = Intersect(j, k)
P = Intersect(l, m)
n = Line(N, M)