Talk:Koecher–Vinberg theorem