formally smooth implies flat