Vindogrodov main theorem