How do you prove sin[sin^-1((7pi)/6)] ?