Prove that sinA/(1-cosA) + cosA/(1-tanA) -= sinA+cosA?