Title: The full imbedding theorem