[math-fun] Kissing number (again).