6. Toppunktsformel og bevis