Je charakterizován optimální Sobolevův prostor funkcí, majících stopy na podprostoru dané dimenze. Odpovídající věta o stopách je dokázána.