theorem LastLemma: :: ROUGHIF2:45

for X being finite set holds JaccardDist X = SteinhausGen ((SymmetricDiffDist X),({} X))