“…Uma vez que te ϕ : ϕ P E 1 u é um subconjunto linearmente independente em Exp k Θ,0 pEq (veja [38,Proposition 4.5]), para provar que dim kerpL ´λIq " `8 para algum escalar λ com |λ| ă 1, é suficiente provar que ZpF k ´λq é um subconjunto infinito para algum escalar λ P D. Por um lado, como L é um operador de convolução não trivial, a função inteira F k não é constante. Decorre do Teorema de Liouville pF k q ´1 pDq " tϕ P E 1 : |F k pϕq| ă 1u ‰ H.…”