Ist es möglich, zu beweisen, dass a grösser ist als b, ohne beweisen zu können, an welcher Stelle der Unterschied zu Tage treten wird? Ich glaube nicht.