Put for . Under the bijection , the weights satisfy and . Consequently
Subtracting proves the alternative Shapley value expression
For the dual coalitional game , its marginal contribution at predecessor set is
The same weight-preserving complement bijection therefore gives , and both equal the displayed expression. The Shapley value is invariant under coalitional duality. This Shapley self-duality calculation complements within , not within without accounting for the distinguished player.