Application to ring maps identifying local rings

Later we will do similar for weakly etale ring maps.