minor correction for moebius group theorem
forgotten minus sign