まぁ昨日の数理的アプローチを採用すれば、こんなに書かなくても良いんだけどね(´・ω・`)