%%% Assignment 2, extra credit
%%% Out: Monday Sep 17
%%% Due: Monday Sep 24
Complete the proof of soundness of constructive propositional logic
with respect to Kripke semantics, by structural induction on derivations,
by doing the case of implication introduction.
(10 points)