Implied because any symbol distribution which probabilities do not sum to 1 is invalid anyway ;-)