要点が解るようにモデル化してみたが、どうやら要点はもうちょっと複雑な気がする。