How do you prove cos^2alphacot^2alpha=cot^2alpha-cos^2alpha?