Rigorous proof