Uvešćemo smenu

,

i

. Množenjem svega nejednakost se svodi na

; za objašnjenje oznaka videti raniju diskusiju o
Mjurhedovoj nejednakosti. Kako je

, ovo je ekvivalentno sa

, što je očigledno tačno po Mjurhedovoj nejednakosti.
Ljubičice crvena, što si plava kô zelena trava.