This means that the hypothesis of Theorem E indicated in the second sentence of its formulation are satisfied.
Note that the hypothesis that there exists an analytic function \(f_1\)  in the unit ball of \(H^\infty \) , \(f_1 \lnot \equiv 1,\) 
such that \(\lim _{r \rightarrow 1}f_1(re^{it})=1\)  for \(e^{it} \in E\) , is satisfied even regardless of Theorem D as
such \(f_1\)  exists already in the disc algebra by a theorem of Fatou (cf. [1]}, p. 81).
