A direct proof of the theorem on formal functions | Publicación