How do you prove (tany+coty)/cscy=secy?