formally smooth scheme