An embedding theorem for proper n-types | Publicación