On The Brownian Loop Measure

In 2003 Lawler and Werner introduced the Brownian loop measure and studied some of its properties. Cardy and Gamsa has predicted a formula for the total mass of the Brownian loop measure on the set of simple loops in the upper half plane and disconnect two given points from the boundary. In this paper we give a rigorous proof of the formula.