Li-Fan Chen says to YSITD
首先我們知道那個命題等價於那幾個向量是不是線性獨立的