Downward Löwenheim–Skolem theorem