How do you verify #cosBcotB=cscB-sinB#?