tan(a+b) and tan(a-b) proof...