Auslander-Buchsbaumformule