Arccos as inverse cosine

Theorem

The restricted arccos function $\rm{arccos} \colon [-1,1] \rightarrow [0,\pi]$ is the inverse function of the restricted cosine function $\cos \colon \left[0,\pi\right] \rightarrow [-1,1]$.