To prove that the expected wealth share of a validator remains constant, observe the following example. If player A possesses 8 out of 10 total coins, then their expected wealth share after one block reward has been issued is 8/10 x 9/11 + 2/10 x 8/11 = 8/10, which was their initial wealth share.