Как мы получили это предложение?

какую теорему мы тут использовали? что сделали вывод что <ACB + <CBD = <ABD