Невозможность существования впадин на эффективном множестве