Bizonyítandó, hogy ha x és y valós számokra igaz a következő egyenlőség, akkor x és y egyike sem lehet negatív.