Now, what are factor groups of g4001
and g4007? I couldn't figure out how to compute them in GAP4, so
anyone could give me a clue on that, it'd be great. In particular,
I'd like to know how to obtain in GAP the result above, that g2003 is
a factor group of g4003.