Az ABCD húrnégyszögben az AC átló felezőpontja E, a BD átló felezőpontja F. Igazoljuk, hogy ha AEB∢=AED∢, akkor BFA∢=BFC∢.