  We give a definition of a class of Dedekind domains which includes the rings
of integers of global fields and give a proof that all rings in this class have
finite ideal class group. We also prove that this class coincides with the
class of rings of integers of global fields.
