1: \begin{abstract}

2: Benjamini and Schramm (\emph{Invent.\ Math.}, 126(3):565-587, 1996) used circle packing to prove that every transient, bounded degree planar graph admits non-constant harmonic functions of finite Dirichlet energy. We refine their result, showing in particular that for every transient, bounded degree, simple planar triangulation $T$ and every circle packing of $T$ in a domain $D$, there is a canonical, explicit bounded linear isomorphism between the space of harmonic Dirichlet functions on $T$ and the space of harmonic Dirichlet functions on $D$. 

3: % As a corollary, this isomorphism allows us to deduce several propertie

4: % This isomorphism yields several immediate corollaries concerning the boundary behaviour of harmonic Dirichlet functions on $M$, as we can simply push the classical results through the isomorphism.

5: % In the case that $D$ is the unit disc, this allows us to identify the space of all harmonic Dirichlet functions on $T$ geometrically via the Cauchy Transform, and in particular shows that the harmonic part of the Royden boundary of $T$ can be identified with the unit circle. 

6: % A principle ingredient of our proof is a version of the Beurling non-tangential convergence theorem for circle packings.

7: \end{abstract}

8: