cotA cotB=a^2 (2S)