יש כמה דרכים
תלוי כמה את מכירה חבורות לי.
ראשית צריך להבין מה זה מטריצות כיריעה, ומה זה חלוקות של העתקה בין יריעות (את יכולה להניח כאן שהיריעות משוכנות ב-R^n^2 אם זה עוזר לך).
אח"כ, מוכיחים שהמכפלה הזו היא חלקה (הדרך הכי פשוטה - להוכיח קודם שהמכפלה של GLn X GLn חלקה, ואז להציב בה את הת"ח המשוכנות).
לגבי זה שההופכית חלקה, אפשר להראות שיש הופכית מקומית חלקה (זה נובע ממשפט הפונקציה ההפוכה, שאומר ששומרים על דרגת גזירות), נשאר לך להסביר למה אפשר להפוך חלקות מקומית לגלובלית (למשל - חבורת לי היא מרחב הומוגני, אבל זה לא הטיעון היחיד האפשרי).
כעקרון - הדרך הנכונה לעשות את זה (בלי QR וגרהם-שמידט) זה לקחת את פירוק איווסאווה (iwasawa) ברמת האלגברת לי, ולקחת אקספוננטים מתאימים (שהם כמובן חלקים).