Un cómputo algebraico prueba que si formula_175 es un rotación alrededor del origen, el único punto fijo por formula_176 es el origen.