Appendices A Proof for Theorem 1 Before proceeding, let us define an additional term S = null