Нужно построить доказательство секвенции (генценовское исчислении высказываний)

|-
Аксиома-секвенция A|-A
Правила вывода | допустимые правила

Я пытаюсь постороить вывод в обратной последовательности.
1. Для доказательства необходимой секвенции можно воспользоваться правилом вывода №7
и секвенцией

|-

(1)
2.(1) можно получить из правила вывода №4 и

|-

(2)
3.(2) из

|-

и правила вывода №12 (3)
А вот (3) уже вывести не могу(не знаю вообще выводится ли такая секвенция)
Пробовал искать вывод секвенции

|-

.Тоже ничего не получается.
Подскажите пожалуйста как начать решать данную задачу ?