formally smooth ring map