Ehrenpreis–Malgrange theorem