Pleasing result on flatness

The completion of a constant sheaf of Noetherian rings is flat. Uses a
fun new result about inverse limits of flat systems of modules with
surjective transition maps.