שינויים
/* מטריצות מתחלפות */
:באינדוקצייה על n, כי <math>V_\lambda</math> של T שמור ביחס ל-S לכל ע"ע <math>\lambda</math>. עבור <math>n=1</math> זה ברור, למשל הו"ע <math>(1)</math>. עבור n הפרד בין האפשרות ששתיהן סקלריות (ואז ברור) והאפשרות שלפחות אחת לא, ואז המרחב העצמי של לפחות אחד הע"ע הוא ממימד קטן מ-n, ולכן אפשר להשתמש בהנחת האינ'. לבסוף, גם אם הצלחת, שאל את ד"ר צבאן מחר כי זה תרגיל טוב וסטנדרטי.
בונוס: האם זה נכון גם עבור מספר כלשהו של אופרטורים לינאריים מתחלפים? מה לגבי אוסף של <math>\aleph _0</math> אופרטורים (כך שכל שניים מתחלפים)? <math>\aleph</math>?
== תהי A שונה מ0 אז האם A בחזקת 0 שווה I ? ==