# Noetherian implies locally noetherian and quasi-compact theorem

Let $X$ be a scheme, and possibly some arrows, satisfying the following conditions:

• $X$ noetherian
Then
• $X$ locally noetherian, quasi-compact