Wykażemy najpierw, że jeżeli

to

Wiemy, że

oraz

Mamy więc:

stąd

czyli

Stąd