Additional Math Trigonometry – Proving Identities involving cot A and tan A