[math-fun] Re: Kissing number.