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