Addition Rule Proof