Matroid with No Circuits Has Single Base

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

Then:
 * $S$ is the only base on $M$.