Talk:Krener's theorem