Dowód w systemie Hilbertowskim

[baksio]

Witam, czy ktoś ma jakiś pomysł na przeprowadzenie tych dowodów w systemie hilbertowskim?
\(\displaystyle{ 1) \quad ( B A) (( B A) B)}\)
\(\displaystyle{ 2) \quad ( A B) ((A B) B)}\)
z góry dzięki za pomoc.