Aplicando a esta identidad la aplicación conjuntista formula_26, obtenemos :