How do you prove #cot^2 A csc^2 A - cot^2 A = cot^4 A#?