Relationship between arctan and arccot

Theorem

The following formula holds: $$\mathrm{arctan}(z) = \mathrm{arccot}\left( \dfrac{1}{z} \right),$$ where $\mathrm{arctan}$ denotes the inverse tangent and $\mathrm{arccot}$ denotes the inverse cotangent.