C-9 - The angle bisectors of the angles of a triangle are concurrent.

C-13 - The incenter of a triangle is equidistant from the sides of the triangle.

A = (-2.88, -1.74)
B = (6.32, 4.22)
C = (13.74, -3.48)
t1, c, a, b = Polygon(A, B, C)
f = AngularBisector(C, A, B)
g = AngularBisector(A, B, C)
h = AngularBisector(B, C, A)
D = Intersect(h, g)
α = Angle(A, B, D)
β = Angle(D, B, C)
γ = Angle(D, A, B)
δ = Angle(C, A, D)
i = OrthogonalLine(D, b)
E = Intersect(b, i)
d = Circle(D, E)
F, G = Intersect(d, h)
H = Intersect(d, c)