easier proof of ListUtils.set_concat
simplified "card (set l) = n" to "distinct l"