Locally noetherian and quasi-compact implies noetherian theorem

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

• $X$ quasi-compact, locally noetherian

Then

• $X$ noetherian

References

• Hartshorne, Definition pg 83