Tangent times Tangent plus Cotangent

Theorem

 * $$\tan x \left({\tan x + \cot x}\right) = \sec^2 x$$

Proof
$$ $$ $$ $$ $$

Or directly:

$$ $$ $$ $$ $$