Talk:Auslander–Buchsbaum formula