https://9dok.net/document/zkw19rl1-skalarprodukt-und-norm.html