Because solves the differential equation from part (c), the Itô formula makes a local martingale before . The defining improper integral converges at both endpoints: its integrand is asymptotic to near zero and to at minus infinity. Since , both exponents are integrable. Hence
so the stopped local martingale is a bounded martingale.
If , then and . If , then and . The hitting times cannot coincide because stays positive. The optional sampling theorem for a supermartingale and bounded convergence theorem therefore give
Consequently
which is the Two-sided SLE boundary swallowing probability.