In this note for any finite n > 1, we give an explicit free subgroup o
f rank n of the groups of ordered permutations of the reals (Aut(R, le
ss than or equal to)) for which the proof that the subgroup is free is
elementary. Moreover, this example naturally generalizes to the group
Aut(Q, less than or equal to).