Is this the simplest (and most surprising) sorting algorithm ever?

We present an extremely simple sorting algorithm. It may look like it is
obviously wrong, but we prove that it is in fact correct. We compare it with
other simple sorting algorithms, and analyse some of its curious properties.