<x,y,z|x^2=y^2=z^2=(xy)^p=(yz)^q=(zx)^r=1>が有限群となる、というのは
1/(p+1)+1/(q+1)+1/(r+1)>1と同値。シコシコ