Question 863331
{{{cos(x)/(sin(x)*cot(x))=1}}}
{{{cos(x)=sin(x)*cot(x)}}}
{{{cos(x)=cross(sin(x))*(cos(x)/cross(sin(x)))}}}
{{{cos(x)=cos(x)}}}
True.