Una proposición afirma que cualquier triángulo esférico puede descomponerse en dos triángulos esféricos rectángulos.