How do you prove # 2 arcsin x = arccos(1 − 2x^2)#?