r1037
A focus X of the Steiner inellipse is the centroid of its circumcevian triangle XaXbXc.