Теорема (о связи бесконечно малой и бесконечно большой функций). Если  - б. м. при функция и ¹0 в некоторой окрестности точки а, то функция  есть б. б. функция при .

Если  - при  б. б. функция, то функция  есть б. м. функция при .