“…In this section, we show two important facts. First, the NRG-X-Change incentive system and the one described by (Lilliu et al, 2019b) do not guarantee the existence of a NE in the game described in Section 3. Second, we will see that a NE always exists with the functions we have defined in the end of Section 4, as expected by the known theoretical results.…”