Was für eine Beziehung hat der Beweis, dass a grösser als b ist zu dem Unterscheid, der sich in den Exte[s|n]sionen zeigt?