Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-129/1/ii/solution

Choose . Right multiplication by injects into , so
Apply part i with anchor , , and . Since inversion preserves cardinality,
Therefore .
Apply part i again, now with anchor , , and . This gives
Thus . Since , this proves the requested fourfold product bound from small tripling .

New to topics? Read the docs here!