そのヨハネス・ケプラー本人で、三次元ユークリッド空間における球充填に関する予想だよ