An H2-corona theorem on the bidisk for infinitely many functions

We extend the H2-corona theorem on the bidisk to infinitely many functions. The main tool is a linear algebra result which simplifies the bookkeeping for estimates of solutions.