Get ring maps from map on completions

Standard application of popescu's theorem