[math-fun] Kissing number in 4 dimensions claimed to be 24