  We consider the converse of the Butler, Auslander-Reiten's Theorem which is
on the relations for Grothendieck groups. We show that a Gorenstein ring is of
finite representation type if the Auslander-Reiten sequences generate the
relations for Grothendieck groups. This gives an affirmative answer of the
conjecture due to Auslander.
