Ejemplo de una tal extensión es la suma directa formula_5.