太陽系にはいくつの惑星が収まるか? ノート