Feedback on orthogonal-complements

[danmargalit]

In reference to version 224734d7be7ff0c4a8adb3a206356ea122112f33

In the proof of the facts about orthogonal complements, Art Chen suggested

Therefore, all coefficients c_i are equal to zero --> Therefore, all coefficients c_i must be equal to zero