#commutative #order invariant #swap places #math property #naileba