Sea $ABCD$ un cuadrilátero convexo que admite una circunferencia inscrita. Sea $AB$ extendida más allá de $B$ que se encuentra con $DC$ extendida hacia $C$ , en $E$ . Sea $BC$ extendida más allá de $C$ que se encuentra con $AD$ extendida hacia $D$ , en $F$ . Sea $G$ el punto en la línea $AB$ de modo que $FG \parallel CD$ , y sea $H$ el punto en la línea $BC$ de modo que $EH \parallel AD$ . Pruebe que el cuadrilátero (cóncavo) $EGFH$ admite una circunferencia exinscrita tangente a $\overline{EG}, \overline{EH}, \overrightarrow{FG}, \overrightarrow{FH}$ .