, thus it
follows that the free group in two (free) generators.
Now, did you actually mean to write what you did or you meant to give a presentation of the group in the
form ? Because this last is NOT a free group as it has non-trivial torsion elements, so
we get two different groups...or I'm wrong, of course. Check this.