Tangent Half-Angle Substitution for Cosine/Proof