imbedding theorem