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