Sia $E$ uno spazio $DF$ riflessivo e sia $K$ un compatto di $E$. Si dimostra che lo spazio dei germi olomorfi su $K$, con la topologia naturale, è un limite induttivo regolare e quasi completo purché lo spazio dei germi olomorfi all'origine sia un limite induttivo regolare.