Toda aplicación uniformemente continua formula_140 puede extenderse de forma única a una aplicación uniformemente continua formula_141.