[see also: build, establish, develop, make
Then F is constructed from the Fj.
Although [1] deals mainly with the unit disc, most proofs are so constructed that they apply to more general situations.
Indeed, it is routine to verify that the index so constructed is independent of the choices made.
Thanks to Lemma 2, we can now modify the proof of Theorem 3 by inductively constructing five sequences......