Implicita funktionssatsen

Ska inte ljuga, förstår inte vad de menar. 

1. Vad menar de med "s.a. restriktionen av nivåkurvan till U implicit". Vad hade hänt om jag sade explicit definierar istället?

2. Varför just när F_y' inte är 0, är det för att det är i nämnaren senare?

Edit: Jag börjar ifrågasätta om jag ens ska ifrågasätta satser för de kanske bara är som de är. Liksom en definition; det är vad det är. Ett bord är ett bord så att säga. Man kanske bara borde (vad det gäller satser och definitioner) säga till sig själv "aha okej, detta är vad som har bestämts, då kör vi på det, no questions asked". Dock ibland blir det problem när man ska börja bevisa satser men det är en annan femma lol.