for S being finite set
for s being FinSequence of S st s is uniformly_distributed holds
FDprobSEQ s is constant