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