线性代数中证明时怎么分清楚充分性和必要性