easy copy and adapt of some helper lemmas from sev to seg