Если верна пропорция 
, то по основному свойству пропорции произведение крайних членов равно произведению средних членов:
Рассмотрим пропорцию 
. Проверим, равно ли произведение крайних и произведение средних членов:
Слагаемое 
взаимно уничтожается.
Это равенство верно, так как оно получено из исходной верной пропорции.
Рассмотрим пропорцию 
. Проверим, равно ли произведение крайних и произведение средних членов:
Слагаемое 
взаимно уничтожается.
Это равенство также верно, так как оно получено из исходной верной пропорции.
E(y): y∈[0;π²]
Рассмотрим область значений
E(y): y∈(0;+∞)
ноль+число больше нуля всегда больше нуля