लीन सर्च V2: लीन 4 प्रमेय सिद्ध करने के लिए वैश्विक आधार पुनर्प्राप्ति