ここまで
重複は適切な誘導無し