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.