Założenie:

Zdefiniujmy dowolną funkcję, która ma dwa miejsca zerowe:

, 

, gdzie  (ponieważ , przy formułowaniu założenia nie ma znaczenia, który argument oznaczymy jako