Factor out ext{cos}^2 heta:
=extsin2hetaextcos2heta(1−extsin2heta)
Using the identity 1−extsin2heta=extcos2heta, we get:
=extsin2hetaextcos2hetaextcos2heta
Which is the same as:
=extcot2hetaextcos2heta
Thus,
extcot2heta−extcos2heta=extcot2hetaextcos2heta
This completes the proof.