Экстрактор и доказательство минимальной энтропии

Я прохожу курс, посвященный криптографии. В этом курсе мы говорили о минимальной энтропии ($H_{\infty}$) и Экстрактор. Чтобы показать, что экстрактор $Ext:\{0,1\}^n \стрелка вправо \{0,1\}^l$ который выводит равномерно случайную строку, не существует, если $H_{\infty} < п$ мы берем частный случай $\ell=1$.

Но я плохо понимаю доказательство.

В этом доказательстве мы берем прообраз $b$ куда $b \in \{0,1\}$ выход, который максимизирует размер прообраза. Так что у нас будет $\|Расш^{-1}(б)\| \ge 2^{n-1}$. Если тогда мы возьмем $Х$ униформа над $Ext^{-1}(б)$ у нас есть константа, и я думаю, что это в отличие от минимальной энтропии, равной $n-1$.

Я не понимаю, почему мы должны брать прообраз и как мы берем форму $Х$.