Definition:Solution to Equation