Niech funkcje , będą różniczkowalne na pewnym sąsiedztwie punktu . Jeżeli
, ,
istnieje granica (właściwa lub niewłaściwa),
to istnieje granica , przy czym
1
Powyższe twierdzenie dotyczy symbolu nieoznaczonego typu , ale przy odpowiedniej zmianie założeń pozostaje prawdziwe dla symbolu oraz dla granic jednostronnych i granic w .
2
Regułę można także stosować do pozostałych symboli nieoznaczonych, po sprowadzeniu ich do symbolu lub w następujący sposób:
symbol sprowadzamy do lub za pomocą przekształceń:
symbol przekształcamy najpierw do symbolu a następnie do lub :
symbole , oraz sprowadzamy do za pomocą tożsamości (wyrażenie jest zawsze wówczas symbolem typu ).