Theorem 7.5 (EPFR${}^{\prime }$). There is a constant $\eta >0$ such that if $X$ and $Y$ are any two ${𝔽}_2^n$-valued random variables with $d[X;Y]>0$, then there exists ${𝔽}_2^n$-valued random variables $U$ and $V$ such that