Помогите, пожалуйста, с заданием по алгебре (10-11 класс) Вычислите:

$\arcsin\left(\cos\frac{7\pi}{8}\right)=\frac{\pi}{2}-\arccos\left(\cos\frac{7\pi}{8}\right)=\frac{\pi}{2}-\frac{7\pi}{8}=-\frac{3\pi}{8}$

В процессе решения я использовал тождество

$\arcsin x+\arccos x=\frac{\pi}{2},$

а также тождество

$\arccos(\cos a)=a,$

которое справедливо, если $a\in [0;\pi]$