ليكن مثلث، لتكن نقطة تلاقي ارتفاعاته، وليكن نقطتين منصفتين للضلعين على الترتيب، لتكن الدائرة المرسومة من و تمر بالنقطة تقطع الضلع عند النقطتين ، لتكن الدائرة المرسومة من و تمر بالنقطة تقطع الضلع عند النقطتين ، برهن أن تقع على دائرة واحدة.