Rigorous Proof