preservesの証明を見直す。