proving: $\arccos x = \dfrac{\pi}{2} - \arcsin x$

Let
y = arccos x
cos y = x

Let
z = arcsin x
sin z = x

Hence,
cos y = sin z
cos y = cos (pi/2 - z)
y = pi/2 - z
arccos x = pi/2 - arcsin x       <-- proven