tan(a+b) proof...