Más rigurosamente: