a(x)-b(x) : 차수가 n이하인 F[x]의 다항식
C0,...,Cn : 위 다항식의 서로다른 근 이면
위 다항식이 영이 아닌 다항식이면 많아야 n개의 근을 갖는데, 갖고 있는 근은 n+1개니깐
a(x)-b(x)=0 (for any x)라고 봐도 될까용?

- dc official App