Finish the proof