If the immediate exit event at `single a c` has mass `G · vol`, then the exit event after `k` returns has mass `λᵏ · G · vol`, where `λ` is the return weight;

Initializing...

If the immediate exit event at `single a c` has mass `G · vol`, then the exit event after `k` returns has mass `λᵏ · G · vol`, where `λ` is the return weight; · Prove2Me