Důkaz je založen na porovnání obsahů zeleného trojúhelníku, žluté výseče a modrého trojúhelníku. Proměnná x je středový úhel AOP jednotkové kružnice.

Odstranitelnou nespojitost z grafu funkce nepoznáme. Je to jediný bod, který v definičním oboru chybí, ale existují shodné limity zprava i zleva. V případě potřeby můžeme nespojitost odstranit tak, že dodefinujeme v bodě 0 funkční hodnotu limitou, tj. v našem případě [i]f(0) = 1[/i].