Matroid Contains No Loops iff Empty Set is Flat

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

Then:
 * $M$ contains no loops the empty set is flat.