added remark about embedding theorems