Feder-Vardi conjecture