Oración 1: es suficiente mostrar que Gr(S) es Auslander regular, pues por la Proposición 2.3 es inmediato
Oración 2: al ser Gr(R) Auslander regular y por el isomorfismo Gr(R)[x;σ] ∼= Gr(S) el resultado es claro
Conector: en efecto,
Relación: entailment
Género: books