やっと数学の話に戻ってきた。