Reference same line.
Update Proof.