Auxiliary lemmas for preservation.