Доказательство угла AOB в трапеции ABCD