Koszul-Malgrange Theorem