Построить вывод без использования вспомогательных выводов.
Допустимые аксиомы и пример из учебника Вы можете найти во вложениях.