The set of order automorphisms forms a group.
... can be written as a single fraction; the common denominator is 4a2. W ...