선형대수 공부하던 중 이 명제가 자명한 건지,

 아니면 더 높은 개념이 필요한 건지 궁금해서 질문 드립니다.


F[t]에 속하는 f 중 F의 모든 값에 대한 evaluation이 0이면 f=0?


F[t]는 F 값들을 계수로 가지는 다항식 집합입니다.