On some formal imbeddings