Talk:Auslander–Buchsbaum theorem