इस वाक्य का एक अधिक जटिल संस्करण उत्पन्न करें तब g ^ (V_i) X'का एक खुला हिस्सा है।
बेशक, वाक्य का एक अधिक जटिल संस्करण है "तब g ^ (V_i) X'और g: g ^ (V_i) \\ to V_i का एक खुला ओवर है जो एक बंद विसर्जन है".