A completeness-proof method for extensions of the implicational fragment of the propositional calculus