שינויים

בסעיף א' נאמר שכל מכפלה פנימית מקיימת את התכונה <math><u,v,u>=vAu*</math>. בסעיף ג', צריך להראות שיש מטריצות שעונות על התכונות בסעיף ב' אך עדיין אין מכפלה פנימית שיוצרת אותן כמו בסעיף א'. אם הייתה מכפלה כזו, אז היא הייתה מקיימת את השיוויון <math><u,v,u>=vAu*</math>, ולכן הפונקציה הזו הייתה אכן מכפלה פנימית.