Como formula_177 tenemos que las rotaciones determinan un grupo cíclico.