На рисунке 79
Если продолжить прямые Е и F, то мы получим равные углы <АВF'=<CBE' и <EBF=<F'BE'. И если проведем биссектрису угла <EBF, то <EBB'=<B'BF и <ABB'=<B'BC