משפט החילוץ: במרחב נוצר סופית, מכל קבוצה פורשת אפשר לחלץ בסיס.
אי-תלות של וקטורים עצמיים: וקטורים עצמיים השייכים לערכים עצמיים שונים זה מזה הם בלתי תלויים לינארית; מכאן שסכום המרחבים העצמיים הוא תמיד סכום ישר.
קריטריון הלכסינות: לכסינה קיים בסיס של שכל איבריו וקטורים עצמיים של .