Subsection II.1.3.4

Linear independence criterion