На самом деле теорема эскобара.