Talk:Malgrange–Zerner theorem