A percolation formula

Let A be an arc on the boundary of the unit disk U . We prove an asymptotic formula for the probability that there is a percolation cluster K for critical site percolation on the triangular grid in U which intersects A and such that 0 is surrounded by K ∪ A .