请问如何证明定理：⊢ ( A → B ) → ( ¬ B → ¬ A )

请问如何在Hilbert Formal System中用且仅用公理证明定理：⊢ ( A → B ) → ( ¬ B → ¬ A )

公理1：A→(B→A)

公理2：(A→(B→C))→((A→B)→(A→C))

公理3：(¬A→¬B)→(B→A)

不同于一般见到的用定理证定理的方式，我希望能够直接运用公理证明该定理，奈何多次尝试无果，求能人帮助。