Sea $ABC$ un triángulo acutángulo con $AC>AB$, Sea $DEF$ el triángulo de contacto con $D \in (BC)$, $E \in (AC)$, $F \in (AB)$, sea $G$ la intersección de la perpendicular de $D$ a $EF$ con $AB$, y $X=(ABC)\cap (AEF)$. Demuestre que $B,D,G$ y $X$ son concíclicos.