The statement A → (B → A) is equivalent to :

$≡ A \to \left(~ B ∨ A\right)$

$≡ ~ A ∨ \left(~ B ∨ A\right)$

$≡ \left(~ A ∨ A\right) ∨ ~ B$

$≡ T ∨ ~ B ≡ T$

$∴ T ∨ B = T$

$≡ \left(~ A ∨ A\right) ∨ B$

$≡ ~ A ∨ \left(A ∨ B\right)$

$≡ A \to \left(A ∨ B\right)$