Sean $ A_1A_2$ la línea tangente externa a los círculos que no se intersecan $ \omega_1(O_1)$ y $ \omega_2(O_2)$ , $ A_1\in\omega_1$ , $ A_2\in\omega_2$ . El punto $ K$ es el punto medio de $ A_1A_2$ . Y $ KB_1$ y $ KB_2$ son líneas tangentes a $ \omega_1$ y $ \omega_2$ , respectivamente ( $ B_1\neq A_1$ , $ B_2\neq A_2$ ). Las líneas $ A_1B_1$ y $ A_2B_2$ se encuentran en el punto $ L$ , y las líneas $ KL$ y $ O_1O_2$ se encuentran en el punto $ P$ . Demuestre que los puntos $ B_1,B_2,P$ y $ L$ son concíclicos.