We create a matric S which can convert a vector written as a coordinate vector from one basis to the other by representing each vector in basis B by basis C. (and then row reduce)...
However, what is the proof that this by multiplying [x]c = S[x]b actually works?