ぱっと分かった人、厳密な論証が出来ているのかな?