tan(A+B)= (tanA + tanB)/(1 - tanAtanB) - Real Proof