ja, die Kommentare im Code und das Beispiel darunter sind falsch, bei "links < rechts" vorausgesetzt, kann man ziemlich einfach zeigen, daß die Invariante i < = j in der großen Schleife und nach Ende der großen Schleife gilt. -- 13:46, 10. Jan. 2024 (CET)