 From this lemma it is possible to derive Compactness, Löwenheim-Skolem and Enumerability theorems for the basic modal logic (Blackburn &amp; van Benthem 2007: 11) just using the corresponding properties of first-order logic.