Rigorous Proof

Shows