Girard Type Theorems for de Sitter Triangles with non-null Edges
  Girard's Theorem subjects to the area depending interior angles of a spherical triangle. In this paper, we introduce to its analogues for proper de Sitter triangles with non-null edges. 
Baki Karliga and Umit Tokeser
math-ph math.MG math.MP