שינויים
/* הוכחה כי המכפלה הפנימית המושרית היא אכן מכפלה פנימית */
לפי ההגדרה מתקיים כי:
<math>2\langle x+y,z\rangle = ||x+y||^2 +||yz||^2 -||x+y-z||^2</math>
וכן
ולכן עלינו להוכיח כי
<math>||x+y||^2 +||yz||^2 -||x+y-z||^2 = ||x||^2 +||z||^2 -||x-z||^2 + ||y||^2 +||z||^2 -||y-z||^2</math>
