Det meste av sfærisk trigonometri kan utledes fra denne setningen som bestemmer den motsatte siden til et hjørne i en sfærisk trekant når de to tilstøtende sidene er gitt sammen med vinkelen mellom dem. På den måten er den en utvidelse av den tilsvarende cosinussetningen i euklidsk plangeometri.