Sejam e retas paralelas num plano . Girando-se este plano em torno da reta como aresta, obtém-se um diedro de medida , cujas faces são o plano e o plano obtido como nova posição de . Com a rotação descrita, o ponto passa a uma nova posição em . Prove que o segmento é menor que o segmento .