Äquivalenz der Falicov-Kimball- und Brandt-Mielsch-Formen für die freie Energie des unendlichdimensionalen Falicov-Kimball-Modells