Feedback on orthogonal-sets

[danmargalit]

In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33

From Art Chen:

In Non-Example(A non-orthogonal basis), right after we show that x_{R^2} \neq x, we then say that they are equal.