Q: Find the local maximum and minimum values and saddle point(s) of the function

I've found the the function's gradiant vector:

but I'm having trouble manipulating these equations to find where . BOB says these points are and , but I'm not sure how to go about proving these are in fact the only points.