One of the cool things of Mathematica is that it solves these problems. But the result is, unfortunately, somewhat more verbose.