一つ構築せよ→条件を緩めると自明な解がある