ANC üçgeninde sinüs teoremini kullanırsak : nsin(180−(x+y))=3nsin(y−x) olur. Buradan sin(y−x)sin(x+y)=3⇒sinycosx−sinxcosysinxcosy+sinycosx=3 olur. Bu son ifadenin pay ve paydası sinx.siny ile bölünürse cotx−cotycotx+coty=3⇒3cotx+3coty=cotx−coty⇒4coty=−2cotx⇒cotxcoty=−2 bulunur.