ハッシュテーブルの最大サイズを素数にしたほうが良い、という理由を
論理的（数学的）に説明できる方はいますか？

最大サイズが多因数で構成されていると、余りを求めるときに偏りができる
というのは「直感」として理解できるんですけど、うまく言葉で表せません。