임의의 삼각형ABC의 각 변 또는 변의 연장선에서 2곳 씩, 총 6점에서 만나는 임의의 원이 있다. 각 변 위의 두 점 중 한 점을 선택하여 삼각형DEF를 만든다. 여기서 선택한 점들을 빨간 점, 선택받지 못한 점들을 파란 점이라고 하자. 삼각형ABC에서 꼭짓점과 마주보는 변위에 파란 점을 꼭짓점과 잇는다. 이 직선과 꼭짓점과 마주하지 않은 다른 두 변에 있는 빨간점을 잇는 직선과의 교점을 초록 점이라고 하자.
빨간 점과 마주보고 있는 초록 점을 세 쌍 찾을 수 있다. 이 세 쌍을 연결하면 나타나는 세 직선은 한점에서 만난다. 이 를 증명하시오