שאלה על משפטי הממדים

משפט הממד הראשון תקף לממד הסכום
משפט הממד השני תקף לסכום של גרעין ותמונה
אבל יש עוד משפטים דומים, למה רק לשני אלו אנחנו נותנים את הסיווג של "משפט ממדים"?
לדוגמה המשפט שתקף לממד מרחב הפתרונות של מערכת הומוגנית וקושר אותנו לדרגה?