He was the first to list the six distinct cases of a right triangle in spherical trigonometry.
Foi o primeiro en enumerar a lista dos seis casos distintos de ángulo recto nun triángulo esférico (trigonometría esférica).