推论 5.1.

, , , 可由 , , , 线性表示, 且 线性无关,则 .