The corona theorem as an operator theorem