Standard +0.3 This is a straightforward algebraic proof requiring conversion of cotangent to cosine/sine ratios, finding a common denominator, and applying the sine difference formula. While it involves multiple steps, each is standard technique with no novel insight required, making it slightly easier than average.