Remove unused lemma flow_to_empty