Schon ein bisschen peinlich, dass wir jetzt stundenlang an einem #Einzeiler herumbewiesen haben. Immerhin haben wir es jetzt mal so _richtig_ verstanden.