[Lógica] Dúvida sobre hipótese e conclusão

[Euler Gauss 90]

Este é o exemplo 15 do livro da Judith seguido de sua resolução:
Use lógica proposicional para provar [A -> (A -> B)] -> (A -> B)
Usando o método dedutivo, temos duas hipóteses ao invés de uma e queremos obter B.
1. A -> (A -> B) hip
2. A hip
3. A -> B 1,2, mp
4. B 2,3, mp

Eu não entendo porquê A é uma hipótese. E por que a conclusão é B e não (A -> B)?

Segue outras dúvidas na imagem: