Fix cohesiveness problems in the text:
The relation S n (\\ displaystyle S_ (n) ) is reflexive. An empty sequence of proper swaps takes u.
The relation S n (\\ displaystyle S_ (n) ) is reflexive because an empty sequence of proper swaps takes u.