Set . Then almost surely and
Thus almost surely. Its constant value has modulus one, so it equals for some . Consequently the unit modulus of a characteristic function criterion gives