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).