<div class="thm">Si \((a_1,...,a_n)) est une base,\(f) est injective si et seulement si  \((f(a_1),f(a_2), ... ,f(a_n))) est une suite libre de  \(F).
</div>
