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