Neka je šiljastokutni trokut i neka su , i nožišta njegovih visina iz vrhova , i , redom. Neka su i kružnice upisane trokutima i , redom. Kružnica dodiruje dužinu u točki , a kružnica dužinu u točki . Pravac siječe kružnicu u točkama i , a kružnicu u točkama i .
Dokaži da je .
