Prompted with:

    Given A, prove Z

You'd append

    Assume G => H

...to the prompt, then you'd prove A=>G, and you'd prove H=>Z.

You're essentially just using one-too-many axioms to get the job done, which is less elegant, but correct.