Superset of Dependent Set is Dependent/Corollary

Theorem
Let $M = \struct{S, \mathscr I}$ be a matroid.

Let $A \subseteq S$.

Let $x \in A$.

If $x$ is a loop then $A$ is dependent.