How do you prove that #sin(cot^(-1)(tan(cos^(-1)(sin x))))=sin x#?