Talk:Malgrange–Ehrenpreis theorem