Extension Lemma for Prime Theories in Countable Propositional Intuitionistic Logic