Натуральная дедукция

[yestlmush]

Помогите, пожалуйста, пытаюсь доказать выводимость формулы, пользуясь лишь правилами натуральной дедукции:

$$\vdash (A \supset (A \supset B)) \supset (A \supset B),$$

из которой получаю

$$A \supset (A \supset B) \vdash A \supset B,$$

а затем

$$A \supset (A \supset B), A \vdash B.$$

А вот дальше что делать — непонятно (у нас нет правил для дальнейшей работы с антецедентом).
Подскажите, пожалуйста.