'''אתה יכול להשתמש בקיום בסיס ללא הוכחה
== שאלה קטנה (שנתקלתי בה בזמן הוכחה תהליך ג"ש) ==
האם אני תמיד יכול להגיד ש <math><v,v>=||v||^2</math>? זה נכון ממהגדרה כשהנורמה היא נורמה שמושרית מהמ"פ, אבל יכול להיות שכשהנורמה לא מושרית אז זה לא נכון? (אני חייב שזה יהיה נכון כדי להוכיח את נכונות תהליך ג"ש)...