A Proof of Theorem 1 Proof. null null null null null null loss