Continue proof of flow theorem.