8.57. Kata jest ostry. Wykaz, že dana równość jest tożsamością trygonometryczn