The law satisfies the chordal restriction property when, for every , conditional on , the mapped curve has the same unparameterized law as in .
Assume the avoidance formula. Given another admissible hull , put with the bounded filling. Uniqueness of the normalized maps gives
Therefore
These avoidance events determine the law of a simple closed random set. They agree with those of , so the conditional mapped law equals the original law. Hence the avoidance formula implies the chordal restriction property.