Arctangent in terms of Arcsine/Proof 1

Proof
Let:
 * $\theta = \arctan x$

Then by the definition of arctangent:
 * $x = \tan \theta$

Then: