In the figure below, lines ABC, ADE and AFG are secants to a circle of center O
so that DG is parallel to AC. Line EF meets AC at H and N is a point on AC
so that H is the midpoint of AN. If M is the midpoint of BC, prove that the
points D, E, M, and N are concyclic.