A short proof of smooth implies flat | Publicación