How do you prove #cos (2x) / (1-sin 2x) = (1 + tan 2x) / (1-tan 2x)#?