400年の難問、「ケプラー予想の証明」やっと100%終わる
https://www.gizmodo.jp/2014/08/post_15285.html
こういう方法もある、参考まで