Added line to proof.