How do you verify the identity #cos t/(1-sin t) = sec t+tan t#?