theorem Th6: :: DIST_2:6

for S being non empty finite set
for D being Element of distribution_family S holds
( not D is well-distributed iff D = {(<*> S)} )