PHP / MySQL Order byおよびRand（）

各結果に乱数を与え、最初にポイントDESCで、次にランダム値で結果を並べ替えることができます。

SELECT *, RAND() random FROM users ORDER BY points DESC, random ASC

おそらく、次のような解決策もあります：

SELECT * FROM users ORDER BY points DESC, RAND()

しかし、それについてはよくわかりません。