Posūkio kampo sinusas ir kosinusas, arksinusas ir arkkosinusas

Ar tiesa, kad arkkosinuso funkcija \(y = \arccos(x)\) yra mažėjanti visoje savo apibrėžimo srityje?