<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>
