we have ∠ABC = ∠ACB