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