rigorous proof