30.12 고유벡터의 선형 독립성 조건과 증명