\arctan{x}+\arctan{y}=\arctan{\frac{x+y}{1-xy}},\ \forall x,\, y \in \mathbb{R}