Auslander–Buchsbaum formelen