Noetherian implies hereditarily compact

Statement
Any Noetherian space is a hereditarily compact space, i.e., every subspace of a Noetherian space is a compact space.

Facts used

 * 1) uses::Noetherian implies compact
 * 2) uses::Noetherianness is hereditary

Proof
The proof follows by combining Facts (1) and (2).