Установлена теорема вложения соболевского типа, отличающаяся от классических тем, что в ее посылке условия наложены на линейные комбинации производных разных порядков от разных функций. Она применяется к одной задаче о классификации пространств гладких функций, порожденных конечными наборами дифференциальных выражений.