Verify the Solution to an Equation

Use Simplify or FullSimplify to prove that a solution satisfies its equations.

    
Sometimes Simplify will not be enough, and FullSimplify is needed: