I try to apply H0. I have to prove A implies B from these assumptions. But now it is quite easy, because at this point I only have to prove B from A. Well, this means that I may assume A and prove B.

---