Tangent Half-Angle Substitution for Sine/Proof