a1a2a3可由a1a2a4线性表示