verify that the given functions (explicit or implicit) is a solution of the corresponding differential equation: $xy=\log y+c:y’=\frac{{{y}^{2}}}{1-xy}(xy\ne 1)$