Let , , and . Since , the supplied identity and Itô formula give
For , its drift coefficient is
Thus the nonzero choice is
and is a continuous local martingale. The boundary Schwarz lemma for mapping-out maps gives , so . A bounded local martingale is a true martingale. This is the SLE eight-thirds restriction martingale.