An operator algebraic proof of Agler's factorization theorem

We give a short direct proof of Agler's factorization theorem that uses the abstract characterization of operator algebras. the key ingredient of this proof is an operator algebra factorization theorem. Our proof provides some additional information about these factorizations in the case of polynomials.