Twierdzenie cosinusów - dowód (kąt ostry)