Si TaTbTc és el triangle tangencial d'ABC, les circumferències {AOTa}, {BOTb}, {COTc} es tallen en el circumcentre O i en el punt llunyà Ll.