Si TaTbTc es el triángulo tangencial de ABC, las circunferencias {AOTa}, {BOTb}, {COTc} se cortan en el circuncentro O y en el punto lejano Ll.