La deducción de esta expresión puede consultarse en deducción del módulo de la suma.