ABCDEF is any cyclic hexagon;

AB, DE meet in G,

BC, EF „ „ H,

CD, FA „ „ K; then G, H, K are in a straight line.

Draw KLNM parallel to BC and produce DE, EF, AB to meet it in I, N, M. Join DA, DM and let BC, DE meet in P.