Доведено, що число ізольованих критичних точок диференційованої функції на гладкому компактному зв"язному многовиді без межі не менше сильної категорії многовиду. Тим самим в загальному випадку збільшено відому нижню межу числа критичних точок диференційовної функції на компактному многовиді, що дорівнює категорії Люстерніка-Шнірельмана многовиду.