# Incenter/Escenter Theorem
Let(A = [x1,0], B = [x2,0], C = [0,x3], D = [x4,x5], H = [x6,0]):
IncenterA := Theorem(
    [arbitrary(A,B,C), equiangle(C,A,D,D,A,B), equiangle(A,B,D,D,B,C),
     equiangle(B,C,H,H,C,A)], online(C,H,D), [x4,x5,x6]);
