Математическое обоснование прямого угла CBA