>>626
>>616も>>621もa,bが生成する自由群をa^2,b^2で生成する正規部分群で割ったものを
>>594が言ってるんじゃないのか、という意味でしかないのだが。