Должны. Иначе можно любую задачу по геометрии использовать, как вспомогательную теорему и написать решение в две строчки. Да! Все, что они доказали один раз и потом использовали, как известный факт, надо снова и снова доказывать в решении на ЕГЭ. Это надо принять и не спорить. Так надо и все.