Esimerkkilauseet
Pallotrigonometrian toinen kosinilause puolestaan sisältyy yhtälöön ( ja siitä symbolien kiertovaihteluilla muodostettuihin yhtälöihin).
Pallotrigonometrian ( ensimmäinen) kosinilause puolestaan sisältyy yhtälöön ( ja siitä symbolien kiertovaihteluilla muodostettuihin yhtälöihin).