Compactness Theorem of Propositional Logic