(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.

