We consider the converse of the Butler, Auslander-Reiten Theorem, which concerns 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.