Gilt nach jeder Iteration, Beispiel I(n): nach j Iterationen der äußeren Schleife sind die j größten Elemente am richtigen Ort