Niech funkcje , będą różniczkowalne na pewnym sąsiedztwie punktu . Jeżeli
1. , ,
2. istnieje granica (właściwa lub niewłaściwa),
to istnieje granica , przy czym