A1: canFS S in uniform_distribution S by DIST_1:def 12;
uniform_distribution S <> {(<*> S)} by A1, TARSKI:def 1;
hence uniform_distribution S is well-distributed by Th6; :: thesis: verum