Fórmula de Auslander-Buchsbaum