Question: How can I verify a solution satisfies a given differential equation?

I want to verify a solution satisfies a given differential equation,

deq := diff(y(x), x) = y(x)/(x*(ln(x)-ln(y(x))));

sol := x = y(x)*exp(C*y(x)+1);

Because the differential equation and the solution are complex,I tried many way,but failed.

How can I verify sol is just a general solution of deq?

Can you help me? Thanks a lot.

Please Wait...