Equivalence of Definitions of Matroid Rank Axioms/Condition 3 Implies Condition 2

Theorem
Let $S$ be a finite set.

Let $\rho$ is the rank function of a matroid $M = \struct{S, \mathscr I}$.

Then $\rho$ satisfies definition 2 of the rank axioms: