Ponieważ
i
, można pomnożyć nierówność przez
.
Otrzymujemy
.
Po przeniesieniu na jedną stronę:
.
Ponieważ
i
, iloczyn jest nieujemny.
ODP: Teza prawdziwa
Dodatniość x i y pozwala mnożyć nierówność bez zmiany jej znaku.