Upward Löwenheim–Skolem theorem