How do you prove that #cosx/(1-sinx) - 1/cosx = tanx#?