최고차항의 계수가 0이 아니고 음이 아닌 정수 계수의 다항식 $f(x)=a_nx^n+a_{n-1}x^{n-1}+a_{n-2}x^{n-2}+a_{n-3}x^{n-3}+···+a_1x+a_0$ 이 있다. $f(1)=a_n+a_{n-1}+···a_1+a_0=a$라 하자. 이때 $a>a_k (0 \leq k \leq n)$ 이 성립한다. $f(a)=a_na^n+a_{n-1}a^{n-1}+a_{n-2}a^{n-2}+a_{n-3}a^{n-3}+···+a_1a+a_0$에서 $a>a_k$이므로 위 식은 $f(a)$의 값을 a의 지수로 표현한 값이된다. 따라서 $f(a)=a_na_{n-1}a_{n-2} \dotsc a_1a_0(a)$이다. (f(a)를 a진수로 나타내면 f(x)의 각 계수 $a_n,a_{n-1},a_{n..
