. </p><h2 id="Why?"><a class="docs-heading-anchor" href="#Why?">Why?</a><a id="Why?-1"></a><a class="docs-heading-anchor-permalink" href="#Why?" title="Permalink"></a></h2><p>We presume the users of this module are already familiar with matroids, but we provide the following motivation for the casual visitor. </p><p>Consider the following two theorems: one from linear algebra and one from graph theory.</p><p><strong>Theorem 1</strong>. <em>Any two bases of a finite-dimensional vector space have the same num