I came across this proposition in the compressive sensing literature, but a proof wasn't given and I'm not sure how to do it.

Let , and let be the best s-term approximation to . Let . Then

.

I can prove it easily in the case where or , but I can't figure out how to prove it in general. Can anyone help me understand this?