[sth; doing sth; see also: close, complete, conclude, end, terminate
This finishes the proof.
After having finished proving (2), we shall return to...... [Not: “finished to prove (2)”]
Continuity then finishes off the argument.