Koecher–Vinbergs teorem