A proof of Bocas Theorem

We give a general method of extending unital completely positive maps to amalgamated free products of C*-algebras. As an application we give a dilation theoretic proof of Bocas Theorem.