(חידה מטופשת: אם ניקח את המימד של צירוף לינארי נקבל מנה טעימה. מהי?)
===תרגיל===
הוכח כי כל קבוצה A המכילה את אפס הינה תלויה לינארית
====הוכחה====
יש למצוא קבוצה סופית של וקטורים ת"ל בתוך הקבוצה: <math>\{0\}\subseteq A</math>. וקטור האפס תמיד תלוי לינארית כי לכל סקלר שונה מאפס (ובפרט לאחד) מתקיים <math>1\cdot 0 = 0</math>.
לכן הקבוצה <math>\{0\}</math> '''לעולם אינה מהווה בסיס''' כי היא ת"ל, בפרט היא לא בסיס למרחב האפס.
===משפט השלישי חינם===
