Der Fixpunktsatz von Banach (Banachscher Fixpunktsatz)