Löwenheim-Skolem Theorem