 Kripke completeness of implicational intuitionistic logic

For implicational formulas $\Gamma$ and $\phi$,The reverse implication follows from the canonical Kripke model for implicational intuitionistic logic and its truth lemma.