show/hide this revision's text 2 Combine with the wonderful finiteness of topological spaces

(1) Proof of a theorem in finite dimensional linear algebra.

The hypotheses invite us to construct a linearly independent set: extend this set to a basis and conclude.

(2) Proof of a theorem related to compact topological spaces.

The hypotheses invite us to construct an open cover: observe this open cover has a finite subcover and conclude.

show/hide this revision's text 1 [made Community Wiki]

Proof of a theorem in finite dimensional linear algebra.

The hypotheses invite us to construct a linearly independent set: extend this set to a basis and conclude.