Implicit function proof and application

Loading comments...