Question: How do I verify solutions of multivariable polynomial set and show solution set is unique?

I have a set of multivariable polynomial equations. I want to show that each member of the solution set is a solution to the equations and that members of the solution set is unique. I want the result of verify to return one true, not many. Also the result of unique.

Is there a simpler way?

eq-soln-verify.mw

Please Wait...