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