Elimizde y,z olarak iki adet fonksiyon olsun. Bu ikisi arasinda da y=zf(y) bagintisi olsun, f fonksiyonumuz y cisinden bir kuvvet serisi (power series). O halde tum g(y) fonksiyonlarini z'nin bir kuvvet serisi olarak yazabiliriz ve o seri:
g(y)=∑∞k=11k!((f(y)kg′(y))(k−1)|y=0)zk
serisidir. (Burda (k−1), k−1inci turevi.)
Ek:Burda ki tum'den kasit: surekli turevlenebilen tum.