for C being non empty set holds Core (UMF C) = C