Complex sentence: Then g ^ (V_i) is an open over of X' and g: g ^ (V_i)\\ to V_i is a closed immersion.
Split into simpler sentences: Then g ^ (V_i) is an open over of X'. We claim g: g ^ (V_i)\\ to V_i is a closed immersion.