שינויים

**בכיוון ראשון, נוכיח שהמימד הוא לכל לפחות n.***לכל <math>0\leq k\leq n-1</math> נגדיר את <math>y_k</math> להיות הפתרון המקיים את תנאי ההתחלה <math>y_k^{(k)}(x_0)=1</math> ואם <math>j\neq k</math> אז <math>y_k^{(j)}(x_0)=0</math>.**נוכיח שn פתרונות אלה מהווים בסיס.***אזי <math>W(x_0)=|I|=1</math> ולכן מצאנו n פתרונות הפתרונות בת"ל.**בכיוון שני, נוכיח שכל פתרון נפרש ע"י הפתרונות הללו.***עבור תנאי ההתחלה <math>y^{(k)}(x_0)=b_k</math> פתרון המקיים תנאיי התחלה אלו הוא <math>b_0y_0+...+b_{n-1}y_{n-1}</math>, ולכן הקבוצה פורשת.