Norm preserving extensions of holomorphic functions from subvarieties of the bidisk

A basic result in the theory of holomorphic functions of several complex variables is the following special case of the work of H. Cartan on the sheaf cohomology on Stein domains ([10], or see [14] or [16] for more modern treatments).