2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/67229In this short note we improve a dimension formula of Takeuchi for the dimension of the hyperfunction solutions of some holonomic D-modules. Besides the constructibility result and local index formula of Kashiwara for the holomorphic solution complex, we only use a vanishing theorem of Lebeau together with a simple calculation in terms of constructible functions.8 pages, no figures, final version, to appear in Publ. RIMSComplex VariablesAnalysis of PDEs32C38, 32S40, 35A27text