Let be an independent copy of . Part (i), applied simultaneously to and , gives
almost surely. Since is irrational, the lattices and intersect only at zero. Hence almost surely.
If two independent variables with the same law agree almost surely, that law is a point mass: for every Borel set , independence gives
so every such probability is zero or one. Applying this to half-lines identifies a constant with almost surely. Therefore the irrational unit-modulus frequencies force a point mass result is