Question 889606
{{{(Tan(x)-sin(x)*cos(x)) / sin^2 (x) = tan(x)}}}
is an identity