Sean las intersecciones de $\odot O_1$ y $\odot O_2$ $A$ y $B$ . El punto $R$ está en el arco $AB$ de $\odot O_1$ y $T$ está en el arco $AB$ de $\odot O_2$ . $AR$ y $BR$ se encuentran con $\odot O_2$ en $C$ y $D$ ; $AT$ y $BT$ se encuentran con $\odot O_1$ en $Q$ y $P$ . Si $PR$ y $TD$ se encuentran en $E$ y $QR$ y $TC$ se encuentran en $F$ , entonces pruebe: $AE \cdot BT \cdot BR = BF \cdot AT \cdot AR$ .