최고차항의 계수가 0이 아니고 음이 아닌 정수 계수의 다항식 f(x)=anxn+an−1xn−1+an−2xn−2+an−3xn−3+···+a1x+a0 이 있다. f(1)=an+an−1+···a1+a0=a라 하자. 이때 a>ak(0≤k≤n) 이 성립한다. f(a)=anan+an−1an−1+an−2an−2+an−3an−3+···+a1a+a0에서 a>ak이므로 위 식은 f(a)의 값을 a의 지수로 표현한 값이된다. 따라서 f(a)=anan−1an−2…a1a0(a)이다. (f(a)를 a진수로 나타내면 f(x)의 각 계수 $a_n,a_{n-1},a_{n..