La demostración reside sobre la identidad siguiente, del tipo diferencia finita: