https://technews.tw/2014/08/14/四百年前克卜勒無法證明的猜想，如今電腦驗證為/