5と7は共に素数であり、互いに素。
したがって、5^n == 7 * m を満たす自然数nとmの組み合わせは存在しない。

>>615で、それぞれのrnd5が返す値により場合わけすると、5^7通りで
それが均等に現れる。(出題>>599の前提として、rnd5が均等であるので)

5^n % 7 は 0 にはならないので、当然 5^7 % 7 も 0にはならず
5^7の全てのケースを7つ(のrnd7の返り値)に均等に割り振ることは出来ず
>>615のrnd7は均等ではない。