khovanskis theorem