Feedback on dot-product

[danmargalit]

In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33

When we compute the length of e_1, we might want to specify that we are doing a special case (in R^3). Adding "for instance" would do the trick.