How do you prove #Sinx = 1/sinx - cosx/tanx#?