preservation に必要な補題をすべて証明した。