Linear independence/Test with linear forms/Fact
              < Linear independence < Test with linear forms 
 
            
          Let be a field, and let be a -vector space. Let be vectors. Suppose that for every , there exists a linear form
such that
 Then the  are
linearly independent.