다항함수 아니어도 되나 증명 어떻게함