Feuerbach's theorem — the theorem that the nine-point circle of any triangle is tangent to the incircle and to the three excircles