Oración 1: en todas las fórmulas indicadas a continuación, los lados, y deben medirse en longitud absoluta, una unidad para la que la curvatura de Gauss del plano sea −1
Oración 2: se supone que la cantidad en el párrafo anterior es igual a 1
Conector: en otras palabras,
Relación: entailment
Género: articles