2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/224073We show that under minimal assumptions, the intrinsic metric induced by a strongly local Dirichlet form induces a length space. A main input is a dual characterization of length spaces in terms of the property that the 1-Lipschitz functions form a sheaf.Metric GeometryFunctional Analysis31C25; 53C22text