Analysis 056 - Gaußsche Summenformel (mit Beweis)