Desargues Axioma

D = (0.8326, 0.4126)
C = (4.06, 1.9308)
p = Line(D, C)
A = (0.309, -2.4736)
h = Line(A, D)
k = Line(A, C)
B = (8.1212, -3.6748)
g = Line(D, B)
F = Intersect(k, g)
f = Segment(A, B)
j = Segment(B, C)
l = Segment(C, D)
m = Segment(D, A)
i = Line(B, C)
G = Intersect(h, i)
n = Line(B, A)
E = Intersect(p, n)