Finish proof of theorem for flows. Not yet proofread.