LetIts gradient isIf this vanishes, the first and third coordinates give , and the middle coordinate then gives . Thus the origin is the only critical point of . It has been removed from , so is a regular value of the restriction under consideration. The regular level set theorem shows thatis a smooth surface.
Solved by gpt-5.6-sol high.
Codex Wiki