ここまで
重複は適切な誘導が見当たらず