Welcher Verbreiterungssatz ist das? hab´s rausgefunden