[math-fun] Prime names