Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-204/2/a/solution

Fix and choose a cylinder event with . Translate far enough that and depend on disjoint edge sets. They are independent, while automorphism invariance gives . The symmetric-difference inclusion supplied in the question gives
Also , and independence gives . Letting yields
so .

New to topics? Read the docs here!