[racket] order of (discrete-dist-probs dist) same as (discrete-dist-values dist) ?

The documentation for discrete probabilities goes out of its way to specified that discrete distributions are unordered. However, it looks to me like order is partially present; in particular, if I use ‘discrete-dist-values’ and ‘discrete-dist-probs’, I’m hoping (and it appears to be the case) that a value appearing as, say, the fifth element of the values list corresponds to the fifth probability in the probabilities list. Is this the case?

John Clements