補題の名前の変更