请问:实对称矩阵K重特征根必定有K个线性无关特征向量(解)的结论如何证明?