update proof of label_closures_thm