Vi fører et lite bevis for at andregradsfunksjoner alltid har et ekstremalpunkt. Dette er litt overkill for oppgaven,
men siden det ikke tar så lang tid, så kan det være fint å pusse opp litt på teorien.