How do you verify cosBcotB=cscB-sinB?