Was für eine Beziehung hat der Beweis, daß a größer als b ist zu dem Unterschied, der sich in den Extensionen zeigt?