[math-fun] Prime question