שינויים
/* ריבובים ולכסינות */
'''לכן כדי להראות שמטריצה היא לא לכסינה אכן מספיק להראות ע"ע שהריבוב האלג' שלו לא שווה לגיא' שלו (לכן התשובה לשאלה זו היא כן):
'''X <= Y''' אז '''(לא Y) => (לא X)'''. או במקרה שלנו: "לכסינות מספיקה בשביל שוייון ריבויים " ששקול ל- "שיוויון ריבויים הכרחי ללכסינות " ששקול ל- "אי שיוויון ריבויים מספיק בשביל אי לכסינות"
עדי