1: \begin{proof}

2: %Under the conditions in the Theorem, the profit of the joint group $\{\mc S,i\}$ is 

3: %\begin{equation*}

4: %p(w_1^*,\dots,w_N^*) (\sum_{k \in \mc S} w_k^* + w_i^*)- \E[q((\sum_{k \in \mc S}w_k^*+w_i^*)-(\sum_{k \in \mc S} W_k+W_i))^+],

5: %\end{equation*}

6: %and the combined profit of $\mc S$ and $i$ is

7: %\begin{equation*}

8: %p(w_1^*,\dots,w_N^*) \sum_{k \in \mc S} w_k^* + p(w_1^*,\dots,w_N^*) w_i^*-\E[q(\sum_{k \in \mc S}w_k^*-\sum_{k \in \mc S} W_k^*)^+]-\E[q(w_i^*-W_i)^+].

9: %\end{equation*}

10: %Since the first term of the profits are linear, it suffices to prove 

11: %\begin{equation*}

12: %\E[q((\sum_{k \in \mc S}w_k^*+w_i^*)-(\sum_{k \in \mc S} W_k+W_i))^+ \leq \E[q(\sum_{k \in \mc S}w_k^*-\sum_{k \in \mc S} W_k^*)^+]+\E[q(w_i^*-W_i)^+].

13: %\end{equation*}

14: %The above follows from the fact that for any two numbers $a$ and $b$, $a^+ + b^+ \geq (a+b)^+$. 

15: %

16: %To be rigorous, we need to consider the changes in the bids after $i$ joins $S$. This is given in \cite{Zhang14}. 

17: %\end{proof}